| Definitions | tag(k), lnk(k), act(k), islocal(k), rcv(l,tg), locl(a), isrcv(k), x:A B(x), left+right, Knd, t  T,  x:A. B(x), P   Q, x:A  B(x), s = t, kind(e), es_info(es), ecase1(e;info;i.f(i);l,e'.g(l;e')), kind(e), act(e), loc(e), act(e), kindcase(k; a.f(a); l,t.g(l;t) ), kind(e), loc(e), es-V(es), tag(e), lnk(e), es-M(es), w.M, w.TA, acttype(e), w-info(w;e), rcvtype(e), isrcv(e), valtype(i;a), valtype(e), ES(the_w), Id, World, FairFifo,  , isnull(a),  b,  A, a(i;t), kind(a) |